The Eel Programming Language and Internal Concurrency in Logic Agents

نویسنده

  • T. S. Dahl
چکیده

This paper describes work done on creating the logic programming language Eel. Eel is an is an extension of prolog which reserves two predicates to handle i/o, process communication and process initiation. The paper also presents an adaption of a behaviour based agent architecture and gives examples of how parts of that adapted architecture can be implemented in Eel. As an aside the paper comments that the Agent Oriented Programming paradigm currently contains two different metaphors for concurrency. Eel’s event based approach to process communication and process initiation introduces an explicit representation of state to the evaluation of a logic program. The paper demonstrates how Eel can be used for a declarative approach to object states in the examples that show the object oriented implementation of the suggested agent architecture.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Eel, a Declarative Language for Programming Adaptive Agents

This is a report on the Eel programming language, its syntax, semantics and intended use. The language has been developed as a tool to allow programs to adapt using symbolic learning techniques. Eel is a logic language and has a declarative interpretation of user and process communication. This is achieved by extending the traditional deductive proof procedure with abduction of a set of communi...

متن کامل

Declarative Adaptive Agents

This is a report on the aims of and the latest results from my Ph.D. research work. The aim of the work is to create a framework which allows a declarative representation of programs that interact with external processes and can adapt according to generalisations made from that interaction. Such systems are also described as adaptive agents. A new logic programming language, Eel, has been devel...

متن کامل

A Concurrent Extension of Functional Logic Programming Languages

We present a concurrent extension of functional logic programming languages together with a compositional semantics based on labelled sequences, which takes into account the environment of the program. This framework allows to specify, at a very high level, applications that need concurrency and interaction with the environment. For that, we introduce the possibility of defining processes (agen...

متن کامل

Agent-Oriented Programming in Linear Logic

This thesis investigates how a linear logic programming language, such as Lygon, can be used in the implementation of agent-oriented programs. Agent-oriented programming is a recent computational framework of interest to both academic and industrial researchers. Agent methodology is being successfully utilised in designing complex (distributed) applications that require concurrency, reasoning, ...

متن کامل

Multi-Agent Planning in CLP

This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in presence of multiple interacting agents. The paper develops a novel constraint-based action language, B, that enables the declarative description of large classes of multi-agent and multi-valued domains. B supports several complex features, including combined effects, conc...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999